Logic simulation - PDFSEARCH.IO - Document Search Engine

Logic simulation
Results: 497

#	Item
321	A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs Sagar J. Chaki CMU-CS[removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-05-24 15:53:16 Logic simulation Linear temporal logic Electronics Design Computing Model checking Logic design Abstraction
322	SCM2220 – Fall[removed]of 8 SCM 2220 Simulation Models in Operations Management Fall 2014 Course Outline Supply Chain Management Area Add to Reading List Source URL: www.umanitoba.ca Language: English - Date: 2014-11-20 14:36:17 Simulation Arena Computer simulation Scientific modelling Logic simulation Epistemology Ethology Scientific modeling Science Operations research
323	ENHANCING MODEL UNDERSTANDING THROUGH STATIC ANALYSIS Kara A. Olson and C. Michael Overstreet Department of Computer Science Old Dominion University Norfolk, VA[removed] {kara, cmo}@cs.odu.edu Add to Reading List Source URL: vsgc.odu.edu Language: English - Date: 2012-02-03 12:13:50 Programming language theory Electronic design automation Scientific modeling Simulation language Logic simulation Simulation Economic model Program slicing Static program analysis Program analysis Electronic engineering Digital electronics
324	Susan K. Olson RN BSN MSN Senior Simulation Educator Disclosures Susan K. Olson has no financial Add to Reading List Source URL: www.med.wisc.edu Language: English - Date: 2012-07-18 12:53:01 Simulation Logic simulation Education Experiential learning Debriefing Experimental psychology
325	Praxis A logic-‐based DSL for modeling social prac8ces 1 Add to Reading List Source URL: versublog.files.wordpress.com Language: English - Date: 2014-06-02 02:44:22 Publishing Option offense Simulation Option
326	Educational planning through computer simulation; Education policies and strategies; Vol.:3; 2001 Add to Reading List Source URL: inesm.education.unesco.org Language: English - Date: 2012-06-13 00:34:54 Operations research Simulation Management Systems engineering Computer simulation Planning Logic simulation Plant Simulation Business simulation Digital electronics Electronic engineering Science
327	Clouds Simulated with WRF One-way Versus Two-way Nesting for a Frontal Event During the March 2000 ARM Cloud IOP Minghua Zhang (Stony Brook University) Jingbo Wu (Stony Brook University, GISS/Columbia University) Add to Reading List Source URL: asr.science.energy.gov Language: English - Date: 2010-11-05 13:00:50 Convection Logic simulation Cloud Weather Research and Forecasting model Atmospheric sciences Meteorology Atmospheric convection
328	CVAX and Rigel: The Development Process May 1988 Add to Reading List Source URL: simh.trailing-edge.com Language: English - Date: 2003-05-11 19:45:48 CVAX Logic simulation Integrated circuit design Rigel Physical design Schematic Microprocessor VAX Application-specific integrated circuit Electronic engineering Electronic design automation Electronics
329	Review of ‘At-Risk’: A Simulation Training Program for College Staff Written by Carrie Heeter Published by Educational Technology & Change on July 07, 2009 I vividly remember the day I received email from a graduate Add to Reading List Source URL: www.kognito.com Language: English - Date: 2014-04-04 10:39:53 Business software Management education Business education Operations research Simulation Training simulation Serious game Risk Logic simulation Education Learning Business
330	..... Applied Simulation for Rail Crossing Economics and Safety Analysis Hao Zhou Alan Zhang Lawrence Andres Add to Reading List Source URL: railtec.illinois.edu Language: English - Date: 2014-08-05 11:49:50 Design Process simulation Flexsim Logic simulation Science Traffic simulation Electronic design automation Simulation Operations research

UPDATE